1. Construction et verification de programmes
پدیدآورنده : BACKHOUSE,ROLAND C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
2. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
3. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Program construction and verification
پدیدآورنده : Backhouse, Roland C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
5. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3